Evaluative feedback can improve deductive reasoning

We examine whether reasoning is improved by evaluative feedback, i.e., the information of whether a reasoner’s answer was correct or incorrect, and report two studies that show that evaluative feedback increases the chances that participants will produce normatively correct responses for deductive reasoning problems. In Experiment 1, participants who were given feedback about their performance did better on problems based on disjunctions that were designed to elicit illusory inferences. In Experiment 2, participants answered difficult syllogisms with more accuracy when they were provided with feedback. We conclude by contrasting the rule-, heuristics-, and model-based accounts of deduction on their ability to explain the effects of evaluative feedback

Naive Probability: Model-Based Estimates of Unique Events

Abstract We describe a dual-process theory of how individuals estimate the probabilities of unique events, such as Hillary Clinton becoming U.S. President. It postulates that uncertainty is a guide to improbability. In its computer implementation, an intuitive system 1 simulates evidence in mental models and forms analog non-numerical representations of the magnitude of degrees of belief. This system has minimal computational power and combines evidence using a small repertoire of primitive operations. It resolves the uncertainty of divergent evidence for single events, for conjunctions of events, and for inclusive disjunctions of events, by taking a primitive average of non-numerical probabilities. It computes conditional probabilities in a tractable way, treating the given event as evidence that may be relevant to the probability of the dependent event. A deliberative system 2 maps the resulting representations into numerical probabilities. With access to working memory, it carries out arithmetical operations in combining numerical estimates. Experiments corroborated the theory's predictions. Participants concurred in estimates of real possibilities. They violated the complete joint probability distribution in the predicted ways, when they made estimates about conjunctions: P(A), P(B), P(A and B), disjunctions: P(A), P(B), P(A or B or both), and conditional probabilities P(A), P(B), P(B|A). They were faster to estimate the probabilities of compound propositions when they had already estimated the probabilities of each of their components. We discuss the implications of these results for theories of probabilistic reasoning

Kinematic mental simulations in abduction and deduction

We present a theory, and its computer implementation, of how mental simulations underlie the abductions of informal algorithms and deductions from these algorithms. Three experiments tested the theory’s predictions, using an environment of a single railway track and a siding. This environment is akin to a universal Turing machine, but it is simple enough for nonprogrammers to use. Participants solved problems that required use of the siding to rearrange the order of cars in a train (experiment 1). Participants abduced and described in their own words algorithms that solved such problems for trains of any length, and, as the use of simulation predicts, they favored “while-loops” over “for-loops” in their descriptions (experiment 2). Given descriptions of loops of procedures, participants deduced the consequences for given trains of six cars, doing so without access to the railway environment (experiment 3). As the theory predicts, difficulty in rearranging trains depends on the numbers of moves and cars to be moved, whereas in formulating an algorithm and deducing its consequences, it depends on the Kolmogorov complexity of the algorithm. Overall, the results corroborated the use of a kinematic mental model in creating and testing informal algorithms and showed that individuals differ reliably in the ability to carry out these tasks

A comparison of the cognitive difficulties posed by SPARQL query constructs

This study investigated difficulties in the comprehension of SPARQL. In particular, it compared the declarative and navigational styles present in the language, and various operators used in SPARQL property paths. The study involved participants selecting possible answers given a SPARQL query and knowledgebase. In general, no significant differences were found in terms of the response time and accuracy with which participants could answer questions expressed in either a declarative or navigational form. However, UNION did take significantly longer to comprehend than both braces and verti- cal line in property paths; with braces being faster than vertical line. Inversion and negated property paths both proved difficult, with their combination being very difficult indeed. Questions involving MINUS were answered more accu- rately than those involving negation in property paths, in particular where pred- icates were inverted. Both involve negation, but the semantics are different. With the MINUS questions, negation and inversion can be considered separate- ly; with property paths, negation and inversion need to be considered together. Participants generally expressed a preference for data represented graphically, and this preference was significantly correlated with accuracy of comprehen- sion. Implications for the design and use of query languages are discussed

The usability of description logics: understanding the cognitive difficulties presented by description logics

Description Logics have been extensively studied from the viewpoint of decidability and computational tractability. Less attention has been given to their usability and the cognitive difficulties they present, in particular for those who are not specialists in logic. This paper reports on a study into the difficulties associated with the most commonly used Description Logic features. Psychological theories are used to take account of these. Whilst most of the features presented no difficulty to participants, the comprehension of some was affected by commonly occurring misconceptions. The paper proposes explanations and remedies for some of these difficulties. In addition, the time to confirm stated inferences was found to depend both on the maximum complexity of the relations involved and the number of steps in the argument

Reasoning deficits among illicit drug users are associated with aspects of cannabis use

Background. Deficits in deductive reasoning have been observed among ecstasy/polydrug users. The present study seeks to investigate dose-related effects of specific drugs and whether these vary with the cognitive demands of the task. Methods. One hundred and five participants (mean age 21.33, S.D. 3.14; 77 females, 28 males) attempted to generate solutions for eight one-model syllogisms and one syllogism for which there was no valid conclusion (NVC). All of the one model syllogisms generated at least one valid conclusion and six generated two valid conclusions. In these six cases one of the conclusions was classified as common and the other as non-common. Results. The number of valid common inferences was negatively associated with aspects of short term cannabis use and with measures of IQ. The outcomes observed were more than simple post intoxication effects since cannabis use in the 10 days immediately before testing was unrelated to reasoning performance. Following adjustment for multiple comparisons, the number of non-common valid inferences was not significantly associated with any of the drug use measures. Conclusions. Recent cannabis use appears to impair the processes associated with generating valid common inferences while not affecting the production of non-common inferences. It is possible, therefore, that the two types of inference may recruit different executive resources which may differ in their susceptibility to cannabis-related effects

Extending ontological categorization through a dual process conceptual architecture

In this work we present a hybrid knowledge representation system aiming at extending the representational and reasoning capabilities of classical ontologies by taking into account the theories of typicality in conceptual processing. The system adopts a categorization process inspired to the dual process theories and, from a representational perspective, is equipped with a heterogeneous knowledge base that couples conceptual spaces and ontological formalisms. The system has been experimentally assessed in a conceptual categorization task where common sense linguistic descriptions were given in input, and the corresponding target concepts had to be identified. The results show that the proposed solution substantially improves the representational and reasoning \ue2\u80\u9cconceptual\ue2\u80\u9d capabilities of standard ontology-based systems

Altering gait by way of stimulation of the plantar surface of the foot: the immediate effect of wearing textured insoles in older fallers

Background: Evidence suggests that textured insoles can alter gait and standing balance by way of enhanced plantar tactile stimulation. However, to date, this has not been explored in older people at risk of falling. This study investigated the immediate effect of wearing textured insoles on gait and double-limb standing balance in older fallers.Methods: Thirty older adults >65 years (21 women, mean [SD] age 79.0 [7.1]), with self-reported history of ≥2 falls in the previous year, conducted tests of level-ground walking over 10 m (GAITRite system), and double-limb standing with eyes open and eyes closed over 30 seconds (Kistler force platform) under two conditions: wearing textured insoles (intervention) and smooth (control) insoles in their usual footwear.Results: Wearing textured insoles caused significantly lower gait velocity (P = 0.02), step length (P = 0.04) and stride length (P = 0.03) compared with wearing smooth insoles. No significant differences were found in any of the balance parameters (P > 0.05).Conclusions: A textured insole worn by older adults with a history of falls significantly lowers gait velocity, step length and stride length, suggesting that this population may not have an immediate benefit from this type of intervention. The effects of prolonged wear remain to be investigated

Reasoning from connectives and relations between entities

This article reports investigations of inferences that depend both on connectives between clauses, such as or else, and on relations between entities, such as in the same place as. Participants made more valid inferences from biconditionals—for instance, Ann is taller than Beth if and only if Beth is taller than Cath—than from exclusive disjunctions (Exp. 1). They made more valid transitive inferences from a biconditional when a categorical premise affirmed rather than denied one of its clauses, but they made more valid transitive inferences from an exclusive disjunction when a categorical premise denied rather than affirmed one of its clauses (Exp. 2). From exclusive disjunctions, such as Either Ann is not in the same place as Beth or else Beth is not in the same place as Cath, individuals tended to infer that all three individuals could be in different places, whereas in fact this was impossible (Exps. 3a and 3b). The theory of mental models predicts all of these results